<!-- 
Include here all the additional JavaScript you may want to use
for giving a more dynamic UX for the GitHub plugin.
-->
<script type='text/javascript' src='js/jquery-1.10.2.min.js'></script>
<script type='text/javascript' src='js/jquery.cookie.min.js?ver=3.0'></script>
<script src="js/datatables/jquery.datatables.min.js"></script>
<script src="js/underscore-min.js"></script>
